Algebraic Effects, Linearity, and Quantum Programming Languages

Algebraic Processing of Programming Languages

Current methodology for compiler construction evolved from the need to release programmers form the burden of writing machine-language programs. This methodology does not assume a formal concept of a programming language and is not based on mathematical algorithms that model the behavior of a compiler. The side eeect is that compiler implementation is a diicult task and the correctness of a com...

Extending Algebraic Modelling Languages for Stochastic Programming

The algebraic modelling languages (AML) have gained wide acceptance and use in Mathematical Programming by researchers and practitioners. At a basic level, stochastic programming models can be defined using these languages by constructing their deterministic equivalent. Unfortunately, this leads to very large model data instances. We propose a direct approach in which the random values of the m...

Algebraic Specification Method of Programming Languages

Algebraic de nition of programming languages

This paper provides an algebraic deenition of programming languages. It presents a methodology for the construction of syntax and semantics of a programming language as similar algebras speciied by the same speciication rules. Then we show that syntax and semantics algebras of a programming language form a Galois connection. Applications to programming language processing are sketched and homom...

Quantum Programming Languages: Survey and Bibliography

The field of quantum programming languages is developing rapidly and there is a surprisingly large literature. Research in this area includes the design of programming languages for quantum computing, the application of established semantic and logical techniques to the foundations of quantum mechanics, and the design of compilers for quantum programming languages. This article justifies the st...